首页> 外文OA文献 >Result Certification of Static Program Analysers with Automated Theorem Provers

【2h】

Result Certification of Static Program Analysers with Automated Theorem Provers

机译：具有自动定理证明的静态程序分析器的结果认证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Besson, Frédéric; Cornilleau, Pierre-Emmanuel; Jensen, Thomas;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION [J] . EWEN DENNEY, BERND FISCHER, JOHANN SCHUMANN International Journal of Artificial Intelligence Tools: Architectures, Languages, Algorithms . 2006,第1期

机译：软件认证中自动定理证明的实证评估
2. Automatic Programming Systems Dedicated for Proving of Theorems [J] . JAROSLAV E. POLISCUK WSEAS Transactions on Computers . 2006,第2期

机译：专用于定理证明的自动编程系统
3. A symbolic finite-state approach for automated proving of theorems in combinatorial game theory [J] . Thanatipanonda T, Zeilberger D Journal of difference equations and applications . 2009,第2期

机译：组合博弈论中自动证明定理的符号有限状态方法
4. Result Certification of Static Program Analysers with Automated Theorem Provers [C] . Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas Jensen Conference on Verified Software : Theories, Tools, Experiments . 2014

机译：静态程序分析仪的结果认证，自动定理普罗瓦
5. Automated theorem proving in the ProTem programming language. [D] . Parkinson, Brian. 1991

机译：ProTem编程语言中的自动定理证明。
6. ReportingTools: an automated result processing and presentation toolkit for high-throughput genomic analyses [O] . Melanie A. Huntley, Jessica L. Larson, Christina Chaivorapol, -1

机译：ReportingTools：用于高通量基因组分析的自动化结果处理和演示工具包
7. Result Certification of Static Program Analysers with Automated Theorem Provers [O] . Besson, Frédéric, Cornilleau, Pierre-Emmanuel, Jensen, Thomas 2013

机译：带有自动定理证明的静态程序分析器的结果认证
8. A Program Certification Assistant Based on Fully Automated Theorem Provers [R] . Denney, Ewen, Fischer, Bernd 2005

机译：基于全自动定理证书的程序认证助手

Result Certification of Static Program Analysers with Automated Theorem Provers

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅